//#include <stdio.h>
//int main()
//{
//		int x = strlen("abcdef\0");
//		printf("%d", x);
//	return 0;
//}